61. Intensional mathematics
پدیدآورنده : SHAPIRO,STEWART
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : MODALITY )LOGIC(-ADDRESSES,ESSAYS, , CONSTRUCTIVE MATHEMATICS-ADDRESSES, , INTUITIONISTIC MATHEMATICS-
رده :
QA
9
.
46
.
I57
62. Intensional mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Modality (Logic) ;
63. Intensional mathematics /
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constructive mathematics,Intuitionistic mathematics,Modality (Logic)
رده :
QA9
.
46
.
I57
1985
64. Intentional mathematics
پدیدآورنده : edited by Stewart Shapiro
موضوع : ، Modality )Logic(,، Constructive mathematics,، Intuitionistic mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
65. Interpolation and definability
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Interpolation,، Modality )Logic(,، Definability theory )Mathematical logic(
رده :
QA
281
.
G28I5
66. Introduction to deontic logic and the theory of normative systems /
پدیدآورنده : Lennart Åqvist
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Deontic logic,Modality (Logic),Logique déontique,Logique symbolique et mathématique
رده :
BC145
.
A67
1987
67. Introductory modal logic
پدیدآورنده : Konyndyk, Kenneth.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Modality )Logic(
رده :
BC
199
.
M6
K66
1986
68. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
پدیدآورنده : Gabbay, Dov M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6
.
G3
69. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6G22
70. Kant's modal metaphysics
پدیدآورنده : Stang, Nicholas Frederick, 9791-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Kant, Immanuel, 4271-4081,، Modality )Logic(,، Metaphysics
رده :
B
2799
.
M5S72
71. Laws, modalities, and counterfactuals
پدیدآورنده : Reichenbach, Hans, 1981-3591
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Counterfactuals )Logic(,، Modality )Logic(,، Law -- Philosophy
رده :
BC
199
.
C66R44
72. Lessons on the analytic of the sublime :
پدیدآورنده : Jean-François Lyotard ; translated by Elizabeth Rottenberg
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Kant, Immanuel,1724-1804., Kritik der Urteilskraft,Aesthetics,Judgment (Logic),Sublime, The-- History-- 18th century,Teleology
رده :
B2784
.
L9613
1994
73. Logic and its applications :
پدیدآورنده : Kamal Lodaya (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical -- Congresses.,Logic.,MATHEMATICS -- Infinity.
رده :
QA9
.
A1
K363
2013
74. Logic counts
پدیدآورنده : [edited] by Ewa Żarnecka-Biały, Jagiellonian University, Kraków, Poland.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic -- Congresses.,Logique -- Congrès.,Semantics -- Congresses.
رده :
BC50
.
E358
9999
75. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory,Modality (Logic),Parallel programming (Computer science)
رده :
QA9
.
54
.
L64
2003
76. Logic for concurrency and synchronisation]CD[
پدیدآورنده : edited by Ruy J.G.B. de Queiroz
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Proof theory,، Modality )Logic(,، Parallel programming )Computer science(
رده :
CD
1743-35
77. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. , local
رده :
E-BOOK
78. Logics of time and computation
پدیدآورنده : Goldblatt, Robert
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Modality )Logic(
رده :
P
25
.
C28
No
.
7
79. Mathematical Thought and its Objects
پدیدآورنده : / Charles Parsons, Harvard University
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Mathematics, Philosophy,Object (Philosophy),Logic,ریاضیات -- فلسفه,عین (فلسفه),منطق
رده :
QA8
,.
4
.
P36
2008
80. Mathematics, models, and modality. selected philosophical
پدیدآورنده : Burgess, John P.,8491-
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Mathematics- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
6
.
B87
2008
